165 research outputs found
The Maximal Positively Invariant Set: Polynomial Setting
This note considers the maximal positively invariant set for polynomial
discrete time dynamics subject to constraints specified by a basic
semialgebraic set. The note utilizes a relatively direct, but apparently
overlooked, fact stating that the related preimage map preserves basic
semialgebraic structure. In fact, this property propagates to underlying
set--dynamics induced by the associated restricted preimage map in general and
to its maximal trajectory in particular. The finite time convergence of the
corresponding maximal trajectory to the maximal positively invariant set is
verified under reasonably mild conditions. The analysis is complemented with a
discussion of computational aspects and a prototype implementation based on
existing toolboxes for polynomial optimization
Backward-Forward Reachable Set Splitting for State-Constrained Differential Games
This paper is about a set-based computing method for solving a general class
of two-player zero-sum Stackelberg differential games. We assume that the game
is modeled by a set of coupled nonlinear differential equations, which can be
influenced by the control inputs of the players. Here, each of the players has
to satisfy their respective state and control constraints or loses the game.
The main contribution is a backward-forward reachable set splitting scheme,
which can be used to derive numerically tractable conservative approximations
of such two player games. In detail, we introduce a novel class of differential
inequalities that can be used to find convex outer approximations of these
backward and forward reachable sets. This approach is worked out in detail for
ellipsoidal set parameterizations. Our numerical examples illustrate not only
the effectiveness of the approach, but also the subtle differences between
standard robust optimal control problems and more general constrained
two-player zero-sum Stackelberg differential games
Partially distributed outer approximation
This paper presents a novel partially distributed outer approximation algorithm, named PaDOA, for solving a class of structured mixed integer convex programming problems to global optimality. The proposed scheme uses an iterative outer approximation method for coupled mixed integer optimization problems with separable convex objective functions, affine coupling constraints, and compact domain. PaDOA proceeds by alternating between solving large-scale structured mixed-integer linear programming problems and partially decoupled mixed-integer nonlinear programming subproblems that comprise much fewer integer variables. We establish conditions under which PaDOA converges to global minimizers after a finite number of iterations and verify these properties with an application to thermostatically controlled loads and to mixed-integer regression
- …